例句與造句

1. An adjunction ( F, G, \ eta, \ varepsilon ) between two categories C and D is a "'monadic adjunction "'when the category D is equivalent to the Eilenberg Moore category C ^ T for the monad T = GF . ( Mac Lane uses a stronger definition, where the two categories are isomorphic rather than equivalent . ) By extension, a functor G \ colon D \ to C is said to be "'monadic "'if it has a left adjoint F forming a monadic adjunction.
2. An adjunction ( F, G, \ eta, \ varepsilon ) between two categories C and D is a "'monadic adjunction "'when the category D is equivalent to the Eilenberg Moore category C ^ T for the monad T = GF . ( Mac Lane uses a stronger definition, where the two categories are isomorphic rather than equivalent . ) By extension, a functor G \ colon D \ to C is said to be "'monadic "'if it has a left adjoint F forming a monadic adjunction.
3. It's difficult to find monadic adjunction in a sentence. 用monadic adjunction造句挺難的